disjunctives is package{

  people is relation{ ("john",23); ("peter", 24); ("alice", 22); ("jane", 27) };
  
  males is relation{ "john"; "peter"};
  
  females is all W where (W,_) in people and not W in males;
  
  QQ is all (W,A) where ((W,A) in people and A>25) or ((W,A) in people and W in males) and A<24;
  
  main() do {
    logMsg(info,"QQ = $QQ");
    assert QQ=array of{ ("jane",27);("john",23)};
    
    logMsg(info,"F = $females");
    
  }
}